Books by author Andreas Podelski

Showing 1 – 6 out of 6 results

1. 

   Verification, Model Checking, and Abstract Interpretation

   Byron Cook, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
2. 

   Constraint Programming: Basics and Trends

   Andreas Podelski | Springer, Berlin, 1995

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
3. 

   Networked Systems

   Andreas Podelski, François Ta?ani | Springer Nature Switzerland AG, 2019

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
4. 

   Verified Software: Theories, Tools, Experiments

   Rajeev Joshi, Peter Müller, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   62.21 €

   Buy
5. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Kurt Jensen, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.80 €

   Buy
6. 

   Static Analysis

   Andreas Podelski | Springer International Publishing AG, 2018

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy

Returning customers have discounts and benefits. Find out more